\Slide{BugPattern element structure}{
  Structure of a BugPattern element in messages file
  \B
  \item ShortDescription: one line summary of warning
  \item LongDescription: one line summary of warning with filled-in
        BugAnnotations
    \B
    \item Placeholder {\tt \{{\sl n}\}} refers to $n$th BugAnnotation
    \item Can refer to class, method, field
    \item By convention: 0 is class, 1 is method
    \item Example: {\small\tt Call to System.gc() in \{1\}}
    \E
  \item Details: raw XHTML describing the bug pattern
    \B
    \item Tags must be lower case and properly balanced
          (don't omit end tags)
    \E
  \E
}
